Program algebra with unit instruction operators
نویسنده
چکیده
In the setting of program algebra (PGA), a projection from PGAu, i.e., PGA extended with a unit instruction operator, into PGA is defined. This is done via a composition that employs backward jumps and (labeled) goto’s. © 2002 Elsevier Science Inc. All rights reserved.
منابع مشابه
Submajorization inequalities associated with $tau$-measurable operators
The aim of this note is to study the submajorization inequalities for $tau$-measurable operators in a semi-finite von Neumann algebra on a Hilbert space with a normal faithful semi-finite trace $tau$. The submajorization inequalities generalize some results due to Zhang, Furuichi and Lin, etc..
متن کاملProgram Algebra with Repeat Instruction
In the setting of program algebra (PGA) we consider the repeat instruction. This special instruction is designed to represent infinite sequences of instructions as finite, linear programs. The resulting program notation is called PGLA and can be considered a string syntax for PGA. We redefine the repeat instruction by allowing its counter to be also zero. Then we show that PGLAcore, a kernel of...
متن کاملUnitary Invariants in Multivariable Operator Theory
The problems considered in this paper come as a natural continuation of our program to develop a free analogue of Sz.-Nagy–Foiaş theory, for row contractions. An n-tuple (T1, . . . , Tn) of operators acting on a Hilbert space is called row contraction if T1T ∗ 1 + · · ·+ TnT ∗ n ≤ I. In this study, the role of the unilateral shift is played by the left creation operators on the full Fock space ...
متن کاملMultiplication operators on Banach modules over spectrally separable algebras
Let $mathcal{A}$ be a commutative Banach algebra and $mathscr{X}$ be a left Banach $mathcal{A}$-module. We study the set ${rm Dec}_{mathcal{A}}(mathscr{X})$ of all elements in $mathcal{A}$ which induce a decomposable multiplication operator on $mathscr{X}$. In the case $mathscr{X}=mathcal{A}$, ${rm Dec}_{mathcal{A}}(mathcal{A})$ is the well-known Apostol algebra of $mathcal{A}$. We s...
متن کاملToeplitz Operators and Toeplitz Algebra with Symbols of Vanishing Oscillation
We study the C∗-algebra generated by Teoplitz operators with symbols of vanishing (mean) oscillation on the Bergman space of the unit ball. We show that the index calculation for Fredholm operators in this C∗-algebra can be easily and completely reduced to the classic case of Toeplitz operators with symbols that are continuous on the closed unit ball. Moreover, in addition to a number of other ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Log. Algebr. Program.
دوره 51 شماره
صفحات -
تاریخ انتشار 2002